Search Results for 'zschaler 2011'
zschaler 2011 published presentations and documents on DocSlides.
Towards Using Constructive Type Theory for Verifiable
by karlyn-bohler
Modular Transformations. Steffen . Zschaler. , . ...
